Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
101	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-02-25 05:09:48 Cryptography Computational complexity theory Theory of computation Complexity classes Probabilistic complexity theory Public-key cryptography NP IP Proof of knowledge Zero-knowledge proof Random oracle FiatShamir heuristic
102	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
103	A PTAS for the Highway Problem Fabrizio Grandoni & Thomas Rothvo Institute of Mathemati s EPFL, Lausanne The Highway Problem Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2013-11-01 17:11:36 Computational complexity theory Complexity classes Theory of computation Polynomial-time approximation scheme APX Strong NP-completeness NP
104	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
105	Theory of Evolutionary Algorithms Benjamin Doerr1 and Carola Doerr2 1École Polytechnique, Paris-Saclay, France 2CNRS and Université Pierre et Marie Curie, Paris, France Add to Reading List Source URL: wcci2016.org Language: English - Date: 2016-06-10 00:18:56 Operations research Evolution Applied mathematics Mathematical optimization Cybernetics Mathematics Evolutionary algorithm Doerr Genetic and Evolutionary Computation Conference Algorithm Evolutionary computation Evolutionary biology
106	CS2101 Due: Tuesday 2nd of December 2014 Problem Set 3 CS2101 Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2014-11-27 12:00:09 Computational complexity theory Mathematics Theory of computation Operations research NP-hard problems Analysis of algorithms Asymptotic analysis Big O notation Mathematical notation NP Travelling salesman problem Gap reduction
107	Publication Title Accounts of Chemical Research Website URL http://pubs.acs.org/journals/achre4/index.html Add to Reading List Source URL: www.vivalib.org Language: English - Date: 2012-12-18 10:45:14 Chemistry Computational chemistry Bioconjugate Chemistry Journal of Chemical & Engineering Data Journal of Chemical Theory and Computation ACS Combinatorial Science Biochemistry American Chemical Society ACS Chemical Biology
108	Bin Pa king via Dis repan y of Permutations F. Eisenbrand, D. Palv olgyi & T. Rothvo Cargese Workshop 2010 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2013-11-01 17:11:36 Computational complexity theory Theory of computation Complexity classes Strong NP-completeness Polynomial-time approximation scheme Bin Packing problems NP-complete problems Bin packing problem
109	Lines Missing Every Random Point∗ Jack H. Lutz† Neil Lutz‡ Abstract Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2014-07-23 19:14:22 Mathematical analysis Computability theory Mathematics Theory of computation Theoretical computer science Martingale theory Stochastic processes Kakeya set Real analysis Computable function Martingale Computable number
110	Approximation Algorithms for the Class Cover Problem Adam Cannon and Lenore Cowen Department of Mathematical Sciences Johns Hopkins University Baltimore, MD 21218 Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2012-10-31 09:54:20 Computational complexity theory Mathematics Theory of computation NP-complete problems Operations research Set cover problem Approximation algorithm Facility location problem Dominating set Combinatorial optimization Reduction Algorithm